Logarithmic Superconformal Minimal Models

The higher fusion level logarithmic minimal models LM(P,P';n) have recently been constructed as the diagonal GKO cosets (A_1^{(1)})_k oplus (A_1^{(1)})_n / (A_1^{(1)})_{k+n} where n>0 is an integer fusion level and k=nP/(P'-P)-2 is a fractional level. For n=1, these are the logarithmic minimal models LM(P,P'). For n>1, we argue that these critical theories are realized on the lattice by n x n fusion of the n=1 models. For n=2, we call them logarithmic superconformal minimal models LSM(p,p') where P=|2p-p'|, P'=p' and p,p' are coprime, and they share the central charges of the rational superconformal minimal models SM(P,P'). Their mathematical description entails the fused planar Temperley-Lieb algebra which is a spin-1 BMW tangle algebra with loop fugacity beta_2=x^2+1+x^{-2} and twist omega=x^4 where x=e^{i(p'-p)pi/p'}. Examples are superconformal dense polymers LSM(2,3) with c=-5/2, beta_2=0 and superconformal percolation LSM(3,4) with c=0, beta_2=1. We calculate the free energies analytically. By numerically studying finite-size spectra on the strip with appropriate boundary conditions in Neveu-Schwarz and Ramond sectors, we argue that, in the continuum scaling limit, these lattice models are associated with the logarithmic superconformal models LM(P,P';2). For system size N, we propose finitized Kac character formulas whose P,P' dependence only enters in the fractional power of q in a prefactor. These characters involve Motzkin and Riordan polynomials defined in terms of q-trinomial coefficients. Using the Hamiltonian limit, we argue that there exist reducible yet indecomposable representations for which the Virasoro dilatation operator L_0 exhibits rank-2 Jordan blocks confirming that these theories are indeed logarithmic. We relate these results to the N=1 superconformal representation theory.Comment: 55 pages, v2: comments and references adde

Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate

This paper introduces the Fusemate probabilistic logic programming system. Fusemate's inference engine comprises a grounding component and a variable elimination method for probabilistic inference. Fusemate differs from most other systems by grounding the program in a bottom-up way instead of the common top-down way. While bottom-up grounding is attractive for a number of reasons, e.g., for dynamically creating distributions of varying support sizes, it makes it harder to control the amount of ground clauses generated. We address this problem by interleaving grounding (along program stratification) with a query-guided relevance test. This test prunes ground rules whose heads are inconsistent with the query dynamically extended by the ground rules so far. We present our method in detail and demonstrate it with examples that involve ``time'', such as (hidden) Markov models. Our experiments demonstrate competitive or better performance compared to a state-of-the probabilistic logic programming system, in particular for high branching problems

Entanglement and diagonal entropies after a quench with no pair structure

A typical working condition in the study of quantum quenches is that the initial state produces a distribution of quasiparticle excitations with an opposite-momentum-pair structure. In this work we investigate the dynamical and stationary properties of the entanglement entropy after a quench from initial states which do not have such structure: instead of pairs of excitations they generate \u3bd-plets of correlated excitations with . Our study is carried out focusing on a system of non-interacting fermions on the lattice. We study the time evolution of the entanglement entropy showing that the standard semiclassical formula is not applicable. We propose a suitable generalisation which correctly describes the entanglement entropy evolution and perfectly matches numerical data. We finally consider the relation between the thermodynamic entropy of the stationary state and the diagonal entropy, showing that when there is no pair structure their ratio depends on the details of the initial state and lies generically between 1/2 and 1

The use of Open Data for estimating rail accessibility in Europe

Accessibility is a greatly significant concept for evaluating spatial interactions and transport systems attractiveness. The ability to accurately measure accessibility is becoming more and more crucial for setting up policies aimed to increase the competitiveness of a transport system by fostering resource efficient modes such as rail. Nevertheless, several rail accessibility studies consider only static variables, such as distance, average speed and travel time, neglecting the temporal components of the considered variables. These limitations are often due to the lack of detailed data. In order to overcome the mentioned weaknesses, this paper presents a comprehensive methodology aimed to evaluate passenger rail accessibility using open data from both time-based GTFS sources and Eurostat geographical layers. Based on passenger train timetable, a set of accessibility indicators are built for allowing a comprehensive analysis of railway connections. The analysis is performed taking into account the Eurostat Local Administrative Units (LAU level 2, municipalities or equivalent units) and the main urban centers definition based on the concept of Greater City established by EC DG REGIO and OECD. The developed methodology is then applied to three European countries (Netherlands, Great Britain and France) where GTFS data are currently available.JRC.J.1-Economics of Climate Change, Energy and Transpor

Longitudinal effects of rapid maxillary expansion on masticatory muscles activity

To investigate the modifications induced by rapid maxillary expansion (RME) on the electromyographic (EMG) activities of the anterior temporal and superficial masseter muscles, in patients without pre-treatment EMG alterations. Twenty-one patients with unilateral posterior cross-bite selected from the orthodontic department of the University of L?Aquila (Italy), were enrolled. There was no control group in this study since each subject acted as a control of her/himself. Two surface EMG recordings were taken: T0 (before RME) and at T1 (3 month after the end of expansion). To verify the neuromuscular equilibrium, the EMG activities of both right and left masseter and anterior temporal muscles were recorded during a test of maximum clench. EMG indexes were compared by paired Student?s t-test. In both occasions, all indices showed a good symmetry between the right and left side masticatory muscles. No statistically significant differences were found between the two recordings. In children without pre-treatment EMG alterations, no variations in standardized muscular activity after RME were found. The treatment did not alter the equilibrium of the masseter and temporal muscles

Effects of the functional orthopaedic therapy on masticatory muscles activity

The purpose of this study was to examine surface electromyographic (sEMG) activity of masticatory muscles before and after functional orthopaedic therapy with Sander appliance. Ten adolescents (5 girls, 5 boys) with an Angle Class II, division I malocclusion, 9-13 years old, were submitted to sEMG before and after functional orthopaedic therapy. To verify the neuromuscular equilibrium, the standardized EMG activities of right and left masseter and anterior temporal muscles were recorded during maximum voluntary clench, and analysed calculating: POC (index of the symmetric distribution of the muscular activity determined by the occlusion); TC (index of presence of mandibular torque) and Ac (index suggesting the position of occlusal barycentre). The total muscular activity was also calculated. Pre- and post- functional therapy data were compared with Wilcoxon Signed-Rank Test. Before treatment, all subjects had a good neuromuscular equilibrium, which was not altered by treatment. sEMG evaluations allow to quantify the impact of occlusion on masticatory muscle activity and to control that the functional orthopaedic therapy maintain a good muscular coordination

GLM for partially pooled categorical predictors with a case study in biosecurity

National governments use border information to efficiently manage the biosecurity risk presented by travel and commerce. In the Australian border biosecurity system, data about cargo consignments are collected from records of directions: that is, the records of actions taken by the biosecurity regulator. This data collection is complicated by the way directions for a given entry are recorded. An entry is a collection of import lines where each line is a single type of item or commodity. Analysis is simple when the data are recorded in line mode: the directions are recorded individually for each line. The challenge comes when data are recorded in container mode, because the same direction is recorded against each line in the entry. In other words, if at least one line in an entry has a non-compliant inspection result, then all lines in that entry are recorded as non-compliant. Therefore, container mode data creates a challenge for estimating the probability that certain items are non-compliant, because matching the records of non-compliance to the line information is impossible. We develop a statistical model to use container mode data to help inform biosecurity risk of items. We use asymptotic analysis to estimate the value of container mode data compared to line mode data, do a simulation study to verify that we can accurately estimate parameters in a large dataset, and we apply our methods to a real dataset, for which important information about the risk of non-compliance is recovered using the new model